package utils;

import java.io.File;

public final class Utils {
	
	private static String TOOL_VAR = "OCL";
	public static String TOOL_DIR = new File(System.getenv(TOOL_VAR)).getAbsolutePath();
	public static String SEP = System.getProperty("file.separator");
	public static String CONFIGURATION = TOOL_DIR + SEP + "core" + SEP + "java" + SEP + "kml-tool" + SEP + "src" + SEP + "utils" + SEP + "configuration.txt";
	
	public static String MM_CGT =TOOL_DIR + SEP + "core" + SEP + "grammars" + SEP + "metamodels.cgt" ;
	public static String M_CGT =TOOL_DIR + SEP + "core" + SEP + "grammars" + SEP + "models.cgt" ;
	
//	public static String MM_CGT = "/Users/andreiarusoaie/work/k-modeling/core/grammar/metamodels.cgt";
//	public static String M_CGT  = "/Users/andreiarusoaie/work/k-modeling/core/grammar/models.cgt";
	
	public static String OCL = TOOL_DIR + SEP + "core" + SEP + "ocl-semantics" + SEP + "ocl" + SEP + "ocl-semantics.k";
	
	public static String K_BASE = new File(System.getenv("K_BASE")).getAbsolutePath();
	public static String COMPILE = TOOL_DIR + SEP + "ocl-semantics" + SEP + "tools" + SEP + "compile.pl";
	public static String KOMPILE = K_BASE + SEP + "core" + SEP + "kompile";
	public static String K_PRELUDE = K_BASE + SEP + "core" + SEP + "maude" + SEP + "lib" + SEP + "k-prelude.maude";
	public static String VALUES = TOOL_DIR + SEP + "ocl-semantics" + SEP + "ocl" + SEP + "values.maude";
	
	 public static final void a()
	 {
	  System.out.println("TOOL_DIR: " + TOOL_DIR);
	  System.out.println("MM_CGT: " + MM_CGT);
	  System.out.println("M_CGT: " + M_CGT);
	  System.out.println("K_BASE: " + K_BASE);
	 }
}
